Mixed-precision arithmetic